Low-Cost Dynamic Constraint Checking for the JVM

Magic Checking : Constraint Checking for Database

Low-Cost Networking for Dynamic Window Systems

A low-cost building communications network is needed that would allow individual window and lighting loads to be controlled from an existing enterprise LAN network. This building communications network concept, which we term IBECSTM (Integrated Building Environmental Communications System), would enable both occupant-based and building-wide control of individual window, lighting, and sensor dev...

Model checking for the concurrent constraint paradigm

Formal verification of temporal properties is necessary in many real applications. We can find in the literature many case studies which show us how formal verification techniques allowed scientists to find errors in systems that were thought to be correct. Model checking is an automatic formal verification technique that, given a model of a system and a temporal formula determines if the model...

RDF Constraint Checking

Linked Open Data (LOD) sources on the Web are increasingly becoming a mainstream method to publish and consume data. For real-life applications, mechanisms to describe the structure of the data and to provide guarantees are needed, as recently emphasized by the W3C in its Data Shape Working Group. Using such mechanisms, data providers will be able to validate their data, assuring that it is str...

Dynamic Instrumentation for Java Using a Virtual Jvm